#ifndef BCOS_ASM_H_
#define BCOS_ASM_H_

#include <stdint.h>

#define  OS_TASK_SW()         OSCtxSw()

uint32_t OS_CPU_SR_Save(void);
void OS_CPU_SR_Restore(uint32_t cpu_sr);

void OSCtxSw(void);
void OSIntCtxSw(void);

void OSStartHighRdy(void);

void OS_CPU_PendSVHandler(void);

#endif
